Lawrence C. Paulson: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle

Paulson, Lawrence C.

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 5.96 MB

english, 2015

2

Quantified Multimodal Logics in Simple Type Theory

Christoph Benzmüller, Lawrence C. Paulson

Journal:

Logica Universalis

Year:

2013

Language:

english

File:

PDF, 252 KB

english, 2013

3

Machine Learning for First-Order Theorem Proving

Bridge, James P., Holden, Sean B., Paulson, Lawrence C.

Journal:

Journal of Automated Reasoning

Year:

2014

Language:

english

File:

PDF, 1.31 MB

english, 2014

4

The Beirut Massacre: The Complete Kahan Commission Report

Paulson, Belden H., Serfaty, Simon, Gray, Lawrence

Journal:

American Political Science Review

Year:

1983

Language:

english

File:

PDF, 100 KB

english, 1983

5

Should your specification language be typed

Lamport, Leslie, Paulson, Lawrence C.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1999

Language:

english

File:

PDF, 269 KB

english, 1999

6

Introduction to Milestones in Interactive Theorem Proving

Avigad, Jeremy, Blanchette, Jasmin Christian, Klein, Gerwin, Paulson, Lawrence, Popescu, Andrei, Snelting, Gregor

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 373 KB

english, 2018

7

The foundation of a generic theorem prover

Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 1.60 MB

english, 1989

8

A Formal Proof of Sylow's Theorem

Florian Kammüller, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

1999

Language:

english

File:

PDF, 142 KB

english, 1999

9

A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS

PAULSON, LAWRENCE C.

Journal:

The Review of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 121 KB

english, 2014

10

Lateralization of Auditory Sensory Gating and Neuropsychological Dysfunction in Schizophrenia

Thoma, Robert J., Hanlon, Faith M., Moses, Sandra N., Edgar, J. Christopher, Huang, Mingxiong, Weisend, Michael P., Irwin, Jessica, Sherwood, Andrea, Paulson, Kim, Bustillo, Juan, Adler, Lawrence E.,

Journal:

American Journal of Psychiatry

Year:

2003

Language:

english

File:

PDF, 234 KB

english, 2003

11

[Lecture Notes in Computer Science] Isabelle Volume 828 || Constructive Type Theory

Paulson, Lawrence C.

Year:

1994

Language:

english

File:

PDF, 3.97 MB

english, 1994

12

Safety, Tolerability, and Pharmacokinetic Properties of Intravenous Delafloxacin After Single and Multiple Doses in Healthy Volunteers

Hoover, Randall, Hunt, Thomas, Benedict, Michael, Paulson, Susan K., Lawrence, Laura, Cammarata, Sue, Sun, Eugene

Journal:

Clinical Therapeutics

Year:

2016

Language:

english

File:

PDF, 250 KB

english, 2016

13

The Pharmacokinetics of the CYP3A Substrate Midazolam After Steady-state Dosing of Delafloxacin

Paulson, Susan K., Wood-Horrall, Rebecca N., Hoover, Randall, Quintas, Megan, Lawrence, Laura E., Cammarata, Sue K.

Journal:

Clinical Therapeutics

Year:

2017

Language:

english

File:

PDF, 271 KB

english, 2017

14

Computational logic: its origins and applications

Paulson, Lawrence C.

Journal:

Proceedings Mathematical Physical & Engineering Sciences

Year:

2018

Language:

english

File:

PDF, 388 KB

english, 2018

15

Relations between secrets: two formal analyses of the Yahalom protocol

Paulson, Lawrence C.

Journal:

Journal of Computer Security

Year:

2001

File:

PDF, 123 KB

2001

16

Infrequent p53 mutations in 7,12-dimethylbenz[a]anthracene–induced mammary tumors in BALB/c and p53 hemizygous mice

D. Joseph Jerry, Janet S. Butel, Lawrence A. Donehower, Emily J. Paulson, Charles Cochran, Roger W. Wiseman, Daniel Medina

Journal:

Molecular Carcinogenesis

Year:

1994

Language:

english

File:

PDF, 804 KB

english, 1994

17

Natural deduction as higher-order resolution

Lawrence C. Paulson

Journal:

The Journal of Logic Programming

Year:

1986

Language:

english

File:

PDF, 1.54 MB

english, 1986

18

Lightweight relevance filtering for machine-generated resolution problems

Jia Meng, Lawrence C. Paulson

Journal:

Journal of Applied Logic

Year:

2009

Language:

english

File:

PDF, 796 KB

english, 2009

19

Constructing recursion operators in intuitionistic type theory

Lawrence C. Paulson

Journal:

Journal of Symbolic Computation

Year:

1986

Language:

english

File:

PDF, 1.58 MB

english, 1986

20

Proving termination of normalization functions for conditional expressions

Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 566 KB

english, 1986

21

Mechanizing set theory

Lawrence C. Paulson, Krzysztof Grabczewski

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 1.68 MB

english, 1996

22

Set theory for verification: I. From foundations to functions

Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

1993

Language:

english

File:

PDF, 2.27 MB

english, 1993

23

Set theory for verification. II: Induction and recursion

Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

1995

Language:

english

File:

PDF, 2.64 MB

english, 1995

24

Book reviews

M. D. Atkinson, David Lester, Lawrence C. Paulson

Journal:

Formal Aspects of Computing

Year:

1992

Language:

english

File:

PDF, 329 KB

english, 1992

25

Mechanizing compositional reasoning for concurrent systems: some lessons

Sidi O. Ehmety, Lawrence C. Paulson

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 140 KB

english, 2005

26

An overview of the verification of SET

Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson

Journal:

International Journal of Information Security

Year:

2005

Language:

english

File:

PDF, 951 KB

english, 2005

27

Organizing Numerical Theories Using Axiomatic Type Classes

Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

2004

Language:

english

File:

PDF, 140 KB

english, 2004

28

Verifying the SET Purchase Protocols

Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 682 KB

english, 2006

29

Preface

Bernhard Beckert, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 117 KB

english, 2007

30

Translating Higher-Order Clauses to First-Order Clauses

Jia Meng, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 448 KB

english, 2008

31

MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions

Behzad Akbarpour, Lawrence Charles Paulson

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 650 KB

english, 2010

32

Infrared target and background radiometric measurements—concepts units and techniques

Gilbert Kelton, G.F. Levy, Ely Bell, Lucien M. Biberman, George E. Brown, John N. Hamilton, R.Clark Jones, D.S. Lowe, Roy Paulson, George J. Zissis, M.R. Nagel, Lawrence Nichols, N.E. Beardsley, Eric

Journal:

Infrared Physics

Year:

1963

Language:

english

File:

PDF, 2.41 MB

english, 1963

33

Verifying the unification algorithm in LCF

Lawrence C. Paulson

Journal:

Science of Computer Programming

Year:

1985

Language:

english

File:

PDF, 1.56 MB

english, 1985

34

A higher-order implementation of rewriting

Lawrence Paulson

Journal:

Science of Computer Programming

Year:

1983

Language:

english

File:

PDF, 1.59 MB

english, 1983

35

Distinct M50 and M100 auditory gating deficits in schizophrenia

Faith M. Hanlon, Gregory A. Miller, Robert J. Thoma, Jessica Irwin, Aaron Jones, Sandra N. Moses, Mingxiong Huang, Michael P. Weisend, Kim M. Paulson, J. Christopher Edgar, Lawrence E. Adler, Jose M.

Journal:

Psychophysiology

Year:

2005

Language:

english

File:

PDF, 1.21 MB

english, 2005

36

MRI Reveals Gross Structural Abnormalities in PTSD

JOSE M. CANIVE, JEFFREY DAVID LEWINE, WILLIAM W. ORRISON JR., CHRIS J. EDGAR, SHERRI L. PROVENCAL, JOHN T. DAVIS, KIM PAULSON, DAVID GRAEBER, BRIAN ROBERTS, PATRICIO R. ESCALONA, LAWRENCE CALAIS

Journal:

Annals of the New York Academy of Sciences

Year:

1997

Language:

english

File:

PDF, 356 KB

english, 1997

37

Electrophysiological Abnormalities in PTSD

JEFFREY DAVID LEWINE, JOSE M. CANIVE, WILLIAM W. ORRISON Jr., CHRIS J. EDGAR, SHERRI L. PROVENCAL, JOHN T. DAVIS, KIM PAULSON, DAVID GRAEBER, BRIAN ROBERTS, PATRICIO R. ESCALONA, LAWRENCE CALAIS

Journal:

Annals of the New York Academy of Sciences

Year:

1997

Language:

english

File:

PDF, 248 KB

english, 1997

38

A scanning electron-microscopic study of tongue development in the frog Rana pipiens

Ruth B. Paulson, Keith E. Alley, Lawrence J. Salata, Christopher C. Whitmyer

Journal:

Archives of Oral Biology

Year:

1995

Language:

english

File:

PDF, 1020 KB

english, 1995

39

Automation for interactive proof: First prototype

Jia Meng, Claire Quigley, Lawrence C. Paulson

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 1.16 MB

english, 2006

40

Erratum to “Automation for interactive proof: First prototype” [Inform. and Comput. 204 (2006) 1575–1596]

Jia Meng, Claire Quigley, Lawrence C. Paulson

Journal:

Information and Computation

Year:

2006

File:

PDF, 99 KB

2006

41

A time-dependent statistical model which relates current clinical status to prognosis: Application to advanced prostatic cancer

Lawrence E. Myers, David F. Paulson, William R. Berry, Edwin B. Cox, John Laszlo, Wilma Stanley

Journal:

Journal of Chronic Diseases

Year:

1980

Language:

english

File:

PDF, 802 KB

english, 1980

42

A test of the ‘hot’ mustard extraction method of sampling earthworms

Amy Paulson Lawrence, Michael A Bowers

Journal:

Soil Biology and Biochemistry

Year:

2002

Language:

english

File:

PDF, 95 KB

english, 2002

43

Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions

James P. Bridge, Lawrence Charles Paulson

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 357 KB

english, 2013

44

Accountability protocols

Bella, Giampaolo, Paulson, Lawrence C.

Journal:

ACM Transactions on Information and System Security

Year:

2006

Language:

english

File:

PDF, 424 KB

english, 2006

45

Neuropsychological Similarities in Lateralized Parkinsonism

Huber, Steven J., Freidenberg, Donald L., Shuttleworth, Edwin C., Paulson, George W., Clapp, Lawrence E.

Journal:

Year:

1989

Language:

english

File:

PDF, 703 KB

english, 1989

46

LEO-II and Satallax on the Sledgehammer test bench

Sultana, Nik, Blanchette, Jasmin Christian, Paulson, Lawrence C.

Journal:

Journal of Applied Logic

Year:

2013

Language:

english

File:

PDF, 216 KB

english, 2013

47

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Formal verification of analog designs using MetiTarski

Denman, William, Akbarpour, Behzad, Tahar, Sofiene, Zaki, Mohamed H., Paulson, Lawrence C.

Year:

2009

Language:

english

File:

PDF, 164 KB

english, 2009

48

Verifying multicast-based security protocols using the inductive method

Martina, Jean Everson, Paulson, Lawrence Charles

Journal:

International Journal of Information Security

Year:

2015

Language:

english

File:

PDF, 418 KB

english, 2015

49

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Formal verification of analog circuits in the presence of noise and process variation

Narayanan, Rajeev, Akbarpour, Behzad, Zaki, Mohamed H, Tahar, Sofiene, Paulson, Lawrence C

Year:

2010

Language:

english

File:

PDF, 126 KB

english, 2010

50

Inductive analysis of the Internet protocol TLS

Paulson, Lawrence C.

Journal:

ACM Transactions on Information and System Security

Year:

1999

Language:

english

File:

PDF, 172 KB

english, 1999